#ifndef __KERNEL_H
#define __KERNEL_H

#include "MSE_DBUS.h"

void kernel_run();

#endif
